Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations
نویسندگان
چکیده
منابع مشابه
Temporal Signals Help Label Temporal Relations
Automatically determining the temporal order of events and times in a text is difficult, though humans can readily perform this task. Sometimes events and times are related through use of an explicit co-ordination which gives information about the temporal relation: expressions like “before” and “as soon as”. We investigate the rôle that these co-ordinating temporal signals have in determining ...
متن کاملStochastic Relations Interpreting Modal Logic
We propose an interpretation of modal logic through stochastic relations, providing a probabilistic complement to the usual nondeterministic interpretations using Kripke models. A simple temporal logic and a logic with a countable number of diamonds illustrate the approach. The main technical result of this paper is a probabilistic analogon to the well-known Hennessy-Milner Theorem characterizi...
متن کاملInfinite Games in Epistemic Temporal Logic via Supervisory Control Theory
We embed the framework of infinite two-player turn-based games played on graphs with safety objectives in an epistemic temporal logic. This embedding is made possible thanks to two intermediate embeddings: the first is from infinite games with safety objectives to supervisory control theory and the second is from supervisory control theory to epistemic temporal logic. Thereby, we are able to de...
متن کاملJointly Identifying Temporal Relations with Markov Logic
Recent work on temporal relation identification has focused on three types of relations between events: temporal relations between an event and a time expression, between a pair of events and between an event and the document creation time. These types of relations have mostly been identified in isolation by event pairwise comparison. However, this approach neglects logical constraints between ...
متن کاملTemporal Logic Verification Using Simulation
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the verification of the temporal properties of a continuous system by verifying only a finite number of its (simulated) trajectories. The proposed framework comprises two main ideas. First, we take advantage of the fact ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2018
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2018.08.046